Continuous Non-Intrusive Hybrid WCET Estimation Using Waypoint Graphs
نویسندگان
چکیده
Traditionally, the Worst-Case Execution Time (WCET) of Embedded Software has been estimated using analytical approaches. This is effective, if good models of the processor/Systemon-Chip (SoC) architecture exist. Unfortunately, modern high performance SoCs often contain unpredictable and/or undocumented components that influence the timing behaviour. Thus, analytical results for such processors are unrealistically pessimistic. One possible alternative approach seems to be hybrid WCET analysis, where measurement data together with an analytical approach is used to estimate worst-case behaviour. Previously, we demonstrated how continuous evaluation of basic block trace data can be used to produce detailed statistics of basic blocks in embedded software. In the meantime it has become clear that the trace data provided by modern SoCs delivers a different type of information. In this contribution, we show that even under realistic conditions, a meaningful analysis can be conducted with the trace data. 1998 ACM Subject Classification C.4 Performance of Systems, D.2.4 Software/Program Verification
منابع مشابه
Precise Continuous Non-Intrusive Measurement-Based Execution Time Estimation
Precise estimation of the Worst-Case Execution Time (WCET) of embedded software is a necessary precondition in safety critical systems. Static methods for WCET analysis rely on precise models of the target processor’s micro-architecture. Measurement-based methods, in contrast, rely on exhaustive measurements performed on the real hardware. The rise of the multicore processors often renders stat...
متن کاملHybrid measurement-based WCET analysis at the source level using object-level traces
Hybrid measurement-based approaches to worst-case execution time (WCET) analysis combine measured execution times of small program segments using static analysis of the larger software structure. In order to make the necessary measurements, instrumentation code is added to generate a timestamped trace from the running program. The intrusive presence of this instrumentation code incurs a timing ...
متن کاملHybrid measurement-based WCET analysis using instrumentation point graphs
Precise operation of real-time systems depends on functionally correct computations that are delivered within imposed timing constraints. These temporal requirements are often modelled and verified assuming a priori knowledge of the Worst-Case Execution Time (WCET) of each task. Due to complexities resolving the actual WCET, estimates normally suffice. These estimates should be safe, so as not ...
متن کاملFormal Verification of Loop Bound Estimation for WCET Analysis
Worst-case execution time (WCET) estimation tools are complex pieces of software performing tasks such as computation on control flow graphs (CFGs) and bound calculation. In this paper, we present a formal verification (in Coq) of a loop bound estimation. It relies on program slicing and bound calculation. The work has been integrated into the CompCert verified C compiler. Our verified analyses...
متن کاملPerformance Evaluation of Real-Time Systems
Performance evaluation of the Computer Systems has been a challenging task. Measurement of Worst Case Execution Time (WCET) is an important metrics for evaluating the performance of the Real Time Systems (RTSs). In this paper, we explore different methods used for WCET estimation. We mainly focus on three different techniques that are used for WCET estimation i.e. Static, Measurement-based, and...
متن کامل